\{$a$:$T$\} $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$\{$x$:$T$$\mid$ $x$ = $a$ $\in$ $T$\}